141. Logic of Computation

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.

142. Logic of computation

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical

رده :
QA
75
.
5
.
L63
1997

143. Logic of computation

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: Congresses ، Computer science,Congresses ، Logic, symbolic and mathematical

رده :
QA
75
.
5
.
L63
1997

144. Logic programming

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Logic programming ; Congresses. ; Computer programming ; Congresses. ;

145. Logical Aspects of Computational Linguistics

المؤلف:

المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Computational linguistics -- Congresses.,Language and logic -- Congresses.,Computer logic -- Congresses.,زبان‌شناسی کامپیوتری -- کنگره‌ها ,زبان و منطق -- کنگره ها ,منطق کامپیوتری -- کنگره ها

رده :
P
98
.
L6
2012
E-Book
,

146. Logical Foundations of Computer Science

المؤلف:

المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Computer science -- Congresses.,Computer logic -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,منطق کامپیوتری -- کنگره ها

رده :
QA
75
.
5
.
L6
2015
E-Book
,

147. Logical foundations of computer science :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer logic, Congresses,Computer science, Congresses

148. Logical foundations of computer science

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Computer science ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ; Programa??o l?gica (congressos) ; larpcal. ; Ci??ncia da computa??o (congressos) ; larpcal. ;

149. Logical foundations of computer science

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Computer science--Congresses,Logic, Symbolic and mathematical--Congresses,Programa?c?ao laogica (congressos)--larpcal,Ci?encia da computa?c?ao (congressos)--larpcal

رده :
QA
,
75
.
5
,.
L44
,
2007

150. Logical foundations of computer science

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer logic, Congresses,Computer science, Congresses

رده :
QA75
.
5
.
L43
2013

151. Logical foundations of computer science. International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : proceedings

المؤلف:

المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)

موضوع: ، Computer science Congresses,، Logic, Symbolic and mathematical Congresses

رده :
QA
75
.
5
.
L64
2009

152. Logical foundations of computer science : 4th international symposium, LFCS '97 Yaroslava, Russia, July 6-12, 1997 : proceedings

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Computer science-- Congresses,، Logic, Symbolic and mathematical-- Congresses

رده :
QA
75
.
5
.
L64
1997

153. Logical foundations of computer science : third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994 : proceedings

المؤلف:

المکتبة: (طهران)

موضوع: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
813

154. Logical foundations of computer science : third international symposium, LFCS 94, St. Petersburg, Russia, July 11-14, 1994 : proceedings

المؤلف:

المکتبة: (طهران)

موضوع: Computer science - Congresses , Logic, Symbolic and mathematical - Congresses

رده :
QA
75
.
5
.
L64
1994

155. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Computer programs-- Congresses,، Logic, Symbolic and mathematical-- Congresses

رده :
QA
76
.
6
.
L5855
1985

156. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings

المؤلف:

المکتبة: (طهران)

موضوع: Congresses ، Computer programs,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
193

157. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings

المؤلف:

المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع: Congresses ، Computer programs,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L4
v
.
193

158. Logics of programs : workshopm Carnegie Mellon University pittshurgh, PA, June 6-8, 1983

المؤلف:

المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)

موضوع: Computer programs - Congresses,Logic, symbolic and mathematical - Congresses

رده :
QA76
.
6
.
L5855
1985

159. Mathematical Foundations of Computer Science 2010

المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Computer science -- Mathematics -- Congresses,Computer logic -- Congresses,علوم کامپیوتر -- ریاضیات -- کنگره‌ها,منطق کامپیوتری -- کنگره‌ها

رده :
E-Book
,

160. Multi-agent systems and agreement technologies :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Multiagent systems, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer security.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Expert systems / knowledge-based systems.,Mathematical theory of computation.,Mathematics-- Logic.,Multiagent systems.,Software Engineering.

رده :
QA76
.
76
.
I58